projects / ostree.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 0638d1e 768eee8)
Merge pull request #2044 from martinezjavier/duplicated-entries
authorOpenShift Merge Robot <openshift-merge-robot@users.noreply.github.com>
Tue, 7 Apr 2020 13:54:08 +0000 (15:54 +0200)
committerGitHub <noreply@github.com>
Tue, 7 Apr 2020 13:54:08 +0000 (15:54 +0200)
grub2: Don't add menu entries if GRUB supports parsing BLS snippets


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.